Generative Story Worlds as Linear Logic Programs Chris Martens Jo˜ao F. Ferreira Anne-Gwenn Bosser

Source URL: www.cs.cmu.edu

Coala: A Compiler from Action Languages to ASP Martin Gebser, Torsten Grote, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. Action languages allow fo

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Answer set programming
• ASCII
• Coala
• Linear temporal logic
• Stable model semantics

On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith

Source URL: www-vvps09.imag.fr

• Logic
• Mathematical logic
• Theoretical computer science
• Temporal logic
• Model checkers
• Linear temporal logic
• NuSMV
• Model checking
• Concurrency
• Finite model theory
• Planning Domain Definition Language
• SMV

On Proof Interpretations and Linear Logic On Proof Interpretations and Linear Logic Paulo Oliva Queen Mary, University of London, UK ()

Source URL: phil.uu.nl

Transition Systems and Linear-Time Properties Part #1 of Logic and Verification Joost-Pieter Katoen Software Modeling and Verification Group RWTH Aachen University MOVEP 2014, University of Nantes, July 7, 2014

Source URL: movep14.irccyn.ec-nantes.fr

Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions

Source URL: schematics.sourceforge.net

• Logic
• Mathematical logic
• Proof theory
• Abstraction
• Non-classical logic
• Sequent
• NC
• Linear logic
• Constructible universe
• CurryHoward correspondence
• Natural deduction

Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar

Source URL: seclab.stanford.edu

• Logic
• Mathematics
• Abstraction
• Formal languages
• Mathematical logic
• Linear temporal logic
• Temporal logic
• Automated theorem proving
• Propositional calculus
• Substitution
• IP
• Interpretation

LTL Linear Time Temporal Logic Kripke Structure • K = 〈S, R, L〉 S: set of states (may be infinite)

Source URL: hagi.is.s.u-tokyo.ac.jp

MFPS XX1 Preliminary Version Synthetic domain theory and models of Linear Abadi & Plotkin logic Rasmus Ejlers Møgelberg, Lars Birkedal

Source URL: www.itu.dk

From proofs to focused proofs: a modular proof of Focalization in Linear Logic Dale Miller and Alexis Saurin ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France

Source URL: www.lix.polytechnique.fr